Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
251	Digital Audio Compression By Davis Yen Pan Abstract Compared to most digital data types, with the exception of digital video, the data rates associated with uncompressed digital audio are substantial. Digital audio compr Add to Reading List Source URL: dsp-book.narod.ru Language: English - Date: 2013-05-06 00:54:20 Digital audio Adaptive differential pulse-code modulation Quantization Data compression Pulse-code modulation Differential pulse-code modulation G.726 Lossy compression Analog-to-digital converter Audio codecs Electronics Electronic engineering
252	A PRNG specialized in double precision ﬂoating point numbers using an aﬃne transition Mutsuo Saito and Makoto Matsumoto Abstract We propose a pseudorandom number generator specialized to Add to Reading List Source URL: www.math.sci.hiroshima-u.ac.jp Language: English - Date: 2012-03-16 04:07:31 Computer arithmetic Data types Computing Theoretical computer science Mersenne twister Linear feedback shift register Randomness Primitive polynomial Floating point Pseudorandom number generators Binary arithmetic Mathematics
253	Acid: A Debugger Built From A Language Phil Winterbottom Lucent Technologies Inc ABSTRACT Acid is an unusual source-level symbolic debugger for Plan 9. It is implemented as a language interpreter with specialized primiti Add to Reading List Source URL: www.vitanuova.com Language: English - Date: 2004-08-30 10:28:36 Debugging Debuggers Data types Procedural programming languages Breakpoint GNU Debugger Magic number C dynamic memory allocation Pointer Computer programming Computing Software engineering
254	Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Computer programming Primitive types Abstract interpretation Astrée Software bugs Uninitialized variable C Error Floating point Software engineering Computing Data types
255	Standard Template Library Introduction The Standard Template Library (STL) is a collection of classes that represent commonly used data structures and algorithms. These classes should be treate Add to Reading List Source URL: www.aaroncox.net Language: English - Date: 2005-09-25 02:21:48 Computer programming Abstract data types Object-oriented programming Data types Generic programming Iterator Standard Template Library Sequence container String Computing C++ Standard Library Software engineering
256	Lightweight higher-kinded polymorphism (Extended version) Jeremy Yallop and Leo White University of Cambridge Abstract. Higher-kinded polymorphism —i.e. abstraction over type constructors— is an essential component Add to Reading List Source URL: www.lpw25.net Language: English - Date: 2015-02-22 16:28:22 Type theory Data types Functional programming Monad OCaml Type class Caml Type system Kind Software engineering Computing Computer programming
257	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
258	Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2010-03-25 06:20:58 Data types Programming idioms Type theory Recursion Functional programming Recursive data type List C++ classes EXPRESS Computer programming Software engineering Computing
259	A companion booklet to ”Functional Programming in Scala” Chapter notes, errata, hints, and answers to exercises Rúnar Óli Bjarnason This book is for sale at http://leanpub.com/fpinscalacompanion This version was p Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2015-03-05 16:42:03 Data types Functional programming Lisp programming language Higher-order functions Abstract data types Cons Fold List ALGOL 68 Software engineering Computing Computer programming
260	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Higher-order functions Functional languages Algebraic structures Abstract data types Procedural programming languages Fold Monoid Semigroup Double-ended queue Software engineering Computing Computer programming

UPDATE